Logical implication

English word definition — powered by WordNet

NOUN

a logical relation between propositions p and q of the form `if p then q'

Want to remember logical implication?

Sign up free to bookmark & revise